Optimal. Leaf size=1294 \[ \text{result too large to display} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 2.45464, antiderivative size = 1294, normalized size of antiderivative = 1., number of steps used = 53, number of rules used = 18, integrand size = 34, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.529, Rules used = {5581, 3720, 3718, 2190, 2531, 2282, 6589, 32, 5567, 5451, 4180, 5583, 4184, 5573, 3322, 2264, 6609, 6742} \[ -\frac{(e+f x)^3 a^4}{b^3 \left (a^2+b^2\right ) d}+\frac{3 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right ) a^4}{b^3 \left (a^2+b^2\right ) d^2}+\frac{3 f^2 (e+f x) \text{PolyLog}\left (2,-e^{2 (c+d x)}\right ) a^4}{b^3 \left (a^2+b^2\right ) d^3}-\frac{3 f^3 \text{PolyLog}\left (3,-e^{2 (c+d x)}\right ) a^4}{2 b^3 \left (a^2+b^2\right ) d^4}-\frac{(e+f x)^3 \tanh (c+d x) a^4}{b^3 \left (a^2+b^2\right ) d}+\frac{6 f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right ) a^3}{b^2 \left (a^2+b^2\right ) d^2}-\frac{(e+f x)^3 \log \left (\frac{e^{c+d x} b}{a-\sqrt{a^2+b^2}}+1\right ) a^3}{b \left (a^2+b^2\right )^{3/2} d}+\frac{(e+f x)^3 \log \left (\frac{e^{c+d x} b}{a+\sqrt{a^2+b^2}}+1\right ) a^3}{b \left (a^2+b^2\right )^{3/2} d}-\frac{6 i f^2 (e+f x) \text{PolyLog}\left (2,-i e^{c+d x}\right ) a^3}{b^2 \left (a^2+b^2\right ) d^3}+\frac{6 i f^2 (e+f x) \text{PolyLog}\left (2,i e^{c+d x}\right ) a^3}{b^2 \left (a^2+b^2\right ) d^3}-\frac{3 f (e+f x)^2 \text{PolyLog}\left (2,-\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right ) a^3}{b \left (a^2+b^2\right )^{3/2} d^2}+\frac{3 f (e+f x)^2 \text{PolyLog}\left (2,-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right ) a^3}{b \left (a^2+b^2\right )^{3/2} d^2}+\frac{6 i f^3 \text{PolyLog}\left (3,-i e^{c+d x}\right ) a^3}{b^2 \left (a^2+b^2\right ) d^4}-\frac{6 i f^3 \text{PolyLog}\left (3,i e^{c+d x}\right ) a^3}{b^2 \left (a^2+b^2\right ) d^4}+\frac{6 f^2 (e+f x) \text{PolyLog}\left (3,-\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right ) a^3}{b \left (a^2+b^2\right )^{3/2} d^3}-\frac{6 f^2 (e+f x) \text{PolyLog}\left (3,-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right ) a^3}{b \left (a^2+b^2\right )^{3/2} d^3}-\frac{6 f^3 \text{PolyLog}\left (4,-\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right ) a^3}{b \left (a^2+b^2\right )^{3/2} d^4}+\frac{6 f^3 \text{PolyLog}\left (4,-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right ) a^3}{b \left (a^2+b^2\right )^{3/2} d^4}-\frac{(e+f x)^3 \text{sech}(c+d x) a^3}{b^2 \left (a^2+b^2\right ) d}+\frac{(e+f x)^3 a^2}{b^3 d}-\frac{3 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right ) a^2}{b^3 d^2}-\frac{3 f^2 (e+f x) \text{PolyLog}\left (2,-e^{2 (c+d x)}\right ) a^2}{b^3 d^3}+\frac{3 f^3 \text{PolyLog}\left (3,-e^{2 (c+d x)}\right ) a^2}{2 b^3 d^4}+\frac{(e+f x)^3 \tanh (c+d x) a^2}{b^3 d}-\frac{6 f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right ) a}{b^2 d^2}+\frac{6 i f^2 (e+f x) \text{PolyLog}\left (2,-i e^{c+d x}\right ) a}{b^2 d^3}-\frac{6 i f^2 (e+f x) \text{PolyLog}\left (2,i e^{c+d x}\right ) a}{b^2 d^3}-\frac{6 i f^3 \text{PolyLog}\left (3,-i e^{c+d x}\right ) a}{b^2 d^4}+\frac{6 i f^3 \text{PolyLog}\left (3,i e^{c+d x}\right ) a}{b^2 d^4}+\frac{(e+f x)^3 \text{sech}(c+d x) a}{b^2 d}+\frac{(e+f x)^4}{4 b f}-\frac{(e+f x)^3}{b d}+\frac{3 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b d^2}+\frac{3 f^2 (e+f x) \text{PolyLog}\left (2,-e^{2 (c+d x)}\right )}{b d^3}-\frac{3 f^3 \text{PolyLog}\left (3,-e^{2 (c+d x)}\right )}{2 b d^4}-\frac{(e+f x)^3 \tanh (c+d x)}{b d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5581
Rule 3720
Rule 3718
Rule 2190
Rule 2531
Rule 2282
Rule 6589
Rule 32
Rule 5567
Rule 5451
Rule 4180
Rule 5583
Rule 4184
Rule 5573
Rule 3322
Rule 2264
Rule 6609
Rule 6742
Rubi steps
\begin{align*} \int \frac{(e+f x)^3 \sinh (c+d x) \tanh ^2(c+d x)}{a+b \sinh (c+d x)} \, dx &=\frac{\int (e+f x)^3 \tanh ^2(c+d x) \, dx}{b}-\frac{a \int \frac{(e+f x)^3 \tanh ^2(c+d x)}{a+b \sinh (c+d x)} \, dx}{b}\\ &=-\frac{(e+f x)^3 \tanh (c+d x)}{b d}-\frac{a \int (e+f x)^3 \text{sech}(c+d x) \tanh (c+d x) \, dx}{b^2}+\frac{a^2 \int \frac{(e+f x)^3 \text{sech}(c+d x) \tanh (c+d x)}{a+b \sinh (c+d x)} \, dx}{b^2}+\frac{\int (e+f x)^3 \, dx}{b}+\frac{(3 f) \int (e+f x)^2 \tanh (c+d x) \, dx}{b d}\\ &=-\frac{(e+f x)^3}{b d}+\frac{(e+f x)^4}{4 b f}+\frac{a (e+f x)^3 \text{sech}(c+d x)}{b^2 d}-\frac{(e+f x)^3 \tanh (c+d x)}{b d}+\frac{a^2 \int (e+f x)^3 \text{sech}^2(c+d x) \, dx}{b^3}-\frac{a^3 \int \frac{(e+f x)^3 \text{sech}^2(c+d x)}{a+b \sinh (c+d x)} \, dx}{b^3}-\frac{(3 a f) \int (e+f x)^2 \text{sech}(c+d x) \, dx}{b^2 d}+\frac{(6 f) \int \frac{e^{2 (c+d x)} (e+f x)^2}{1+e^{2 (c+d x)}} \, dx}{b d}\\ &=-\frac{(e+f x)^3}{b d}+\frac{(e+f x)^4}{4 b f}-\frac{6 a f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{b^2 d^2}+\frac{3 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b d^2}+\frac{a (e+f x)^3 \text{sech}(c+d x)}{b^2 d}+\frac{a^2 (e+f x)^3 \tanh (c+d x)}{b^3 d}-\frac{(e+f x)^3 \tanh (c+d x)}{b d}-\frac{a^3 \int (e+f x)^3 \text{sech}^2(c+d x) (a-b \sinh (c+d x)) \, dx}{b^3 \left (a^2+b^2\right )}-\frac{a^3 \int \frac{(e+f x)^3}{a+b \sinh (c+d x)} \, dx}{b \left (a^2+b^2\right )}-\frac{\left (3 a^2 f\right ) \int (e+f x)^2 \tanh (c+d x) \, dx}{b^3 d}+\frac{\left (6 i a f^2\right ) \int (e+f x) \log \left (1-i e^{c+d x}\right ) \, dx}{b^2 d^2}-\frac{\left (6 i a f^2\right ) \int (e+f x) \log \left (1+i e^{c+d x}\right ) \, dx}{b^2 d^2}-\frac{\left (6 f^2\right ) \int (e+f x) \log \left (1+e^{2 (c+d x)}\right ) \, dx}{b d^2}\\ &=\frac{a^2 (e+f x)^3}{b^3 d}-\frac{(e+f x)^3}{b d}+\frac{(e+f x)^4}{4 b f}-\frac{6 a f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{b^2 d^2}+\frac{3 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b d^2}+\frac{6 i a f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{b^2 d^3}-\frac{6 i a f^2 (e+f x) \text{Li}_2\left (i e^{c+d x}\right )}{b^2 d^3}+\frac{3 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b d^3}+\frac{a (e+f x)^3 \text{sech}(c+d x)}{b^2 d}+\frac{a^2 (e+f x)^3 \tanh (c+d x)}{b^3 d}-\frac{(e+f x)^3 \tanh (c+d x)}{b d}-\frac{a^3 \int \left (a (e+f x)^3 \text{sech}^2(c+d x)-b (e+f x)^3 \text{sech}(c+d x) \tanh (c+d x)\right ) \, dx}{b^3 \left (a^2+b^2\right )}-\frac{\left (2 a^3\right ) \int \frac{e^{c+d x} (e+f x)^3}{-b+2 a e^{c+d x}+b e^{2 (c+d x)}} \, dx}{b \left (a^2+b^2\right )}-\frac{\left (6 a^2 f\right ) \int \frac{e^{2 (c+d x)} (e+f x)^2}{1+e^{2 (c+d x)}} \, dx}{b^3 d}-\frac{\left (6 i a f^3\right ) \int \text{Li}_2\left (-i e^{c+d x}\right ) \, dx}{b^2 d^3}+\frac{\left (6 i a f^3\right ) \int \text{Li}_2\left (i e^{c+d x}\right ) \, dx}{b^2 d^3}-\frac{\left (3 f^3\right ) \int \text{Li}_2\left (-e^{2 (c+d x)}\right ) \, dx}{b d^3}\\ &=\frac{a^2 (e+f x)^3}{b^3 d}-\frac{(e+f x)^3}{b d}+\frac{(e+f x)^4}{4 b f}-\frac{6 a f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{b^2 d^2}-\frac{3 a^2 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b^3 d^2}+\frac{3 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b d^2}+\frac{6 i a f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{b^2 d^3}-\frac{6 i a f^2 (e+f x) \text{Li}_2\left (i e^{c+d x}\right )}{b^2 d^3}+\frac{3 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b d^3}+\frac{a (e+f x)^3 \text{sech}(c+d x)}{b^2 d}+\frac{a^2 (e+f x)^3 \tanh (c+d x)}{b^3 d}-\frac{(e+f x)^3 \tanh (c+d x)}{b d}-\frac{\left (2 a^3\right ) \int \frac{e^{c+d x} (e+f x)^3}{2 a-2 \sqrt{a^2+b^2}+2 b e^{c+d x}} \, dx}{\left (a^2+b^2\right )^{3/2}}+\frac{\left (2 a^3\right ) \int \frac{e^{c+d x} (e+f x)^3}{2 a+2 \sqrt{a^2+b^2}+2 b e^{c+d x}} \, dx}{\left (a^2+b^2\right )^{3/2}}-\frac{a^4 \int (e+f x)^3 \text{sech}^2(c+d x) \, dx}{b^3 \left (a^2+b^2\right )}+\frac{a^3 \int (e+f x)^3 \text{sech}(c+d x) \tanh (c+d x) \, dx}{b^2 \left (a^2+b^2\right )}+\frac{\left (6 a^2 f^2\right ) \int (e+f x) \log \left (1+e^{2 (c+d x)}\right ) \, dx}{b^3 d^2}-\frac{\left (6 i a f^3\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_2(-i x)}{x} \, dx,x,e^{c+d x}\right )}{b^2 d^4}+\frac{\left (6 i a f^3\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_2(i x)}{x} \, dx,x,e^{c+d x}\right )}{b^2 d^4}-\frac{\left (3 f^3\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_2(-x)}{x} \, dx,x,e^{2 (c+d x)}\right )}{2 b d^4}\\ &=\frac{a^2 (e+f x)^3}{b^3 d}-\frac{(e+f x)^3}{b d}+\frac{(e+f x)^4}{4 b f}-\frac{6 a f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{b^2 d^2}-\frac{a^3 (e+f x)^3 \log \left (1+\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d}+\frac{a^3 (e+f x)^3 \log \left (1+\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d}-\frac{3 a^2 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b^3 d^2}+\frac{3 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b d^2}+\frac{6 i a f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{b^2 d^3}-\frac{6 i a f^2 (e+f x) \text{Li}_2\left (i e^{c+d x}\right )}{b^2 d^3}-\frac{3 a^2 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b^3 d^3}+\frac{3 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b d^3}-\frac{6 i a f^3 \text{Li}_3\left (-i e^{c+d x}\right )}{b^2 d^4}+\frac{6 i a f^3 \text{Li}_3\left (i e^{c+d x}\right )}{b^2 d^4}-\frac{3 f^3 \text{Li}_3\left (-e^{2 (c+d x)}\right )}{2 b d^4}+\frac{a (e+f x)^3 \text{sech}(c+d x)}{b^2 d}-\frac{a^3 (e+f x)^3 \text{sech}(c+d x)}{b^2 \left (a^2+b^2\right ) d}+\frac{a^2 (e+f x)^3 \tanh (c+d x)}{b^3 d}-\frac{(e+f x)^3 \tanh (c+d x)}{b d}-\frac{a^4 (e+f x)^3 \tanh (c+d x)}{b^3 \left (a^2+b^2\right ) d}+\frac{\left (3 a^3 f\right ) \int (e+f x)^2 \log \left (1+\frac{2 b e^{c+d x}}{2 a-2 \sqrt{a^2+b^2}}\right ) \, dx}{b \left (a^2+b^2\right )^{3/2} d}-\frac{\left (3 a^3 f\right ) \int (e+f x)^2 \log \left (1+\frac{2 b e^{c+d x}}{2 a+2 \sqrt{a^2+b^2}}\right ) \, dx}{b \left (a^2+b^2\right )^{3/2} d}+\frac{\left (3 a^4 f\right ) \int (e+f x)^2 \tanh (c+d x) \, dx}{b^3 \left (a^2+b^2\right ) d}+\frac{\left (3 a^3 f\right ) \int (e+f x)^2 \text{sech}(c+d x) \, dx}{b^2 \left (a^2+b^2\right ) d}+\frac{\left (3 a^2 f^3\right ) \int \text{Li}_2\left (-e^{2 (c+d x)}\right ) \, dx}{b^3 d^3}\\ &=\frac{a^2 (e+f x)^3}{b^3 d}-\frac{(e+f x)^3}{b d}-\frac{a^4 (e+f x)^3}{b^3 \left (a^2+b^2\right ) d}+\frac{(e+f x)^4}{4 b f}-\frac{6 a f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{b^2 d^2}+\frac{6 a^3 f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^2}-\frac{a^3 (e+f x)^3 \log \left (1+\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d}+\frac{a^3 (e+f x)^3 \log \left (1+\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d}-\frac{3 a^2 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b^3 d^2}+\frac{3 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b d^2}+\frac{6 i a f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{b^2 d^3}-\frac{6 i a f^2 (e+f x) \text{Li}_2\left (i e^{c+d x}\right )}{b^2 d^3}-\frac{3 a^3 f (e+f x)^2 \text{Li}_2\left (-\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^2}+\frac{3 a^3 f (e+f x)^2 \text{Li}_2\left (-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^2}-\frac{3 a^2 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b^3 d^3}+\frac{3 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b d^3}-\frac{6 i a f^3 \text{Li}_3\left (-i e^{c+d x}\right )}{b^2 d^4}+\frac{6 i a f^3 \text{Li}_3\left (i e^{c+d x}\right )}{b^2 d^4}-\frac{3 f^3 \text{Li}_3\left (-e^{2 (c+d x)}\right )}{2 b d^4}+\frac{a (e+f x)^3 \text{sech}(c+d x)}{b^2 d}-\frac{a^3 (e+f x)^3 \text{sech}(c+d x)}{b^2 \left (a^2+b^2\right ) d}+\frac{a^2 (e+f x)^3 \tanh (c+d x)}{b^3 d}-\frac{(e+f x)^3 \tanh (c+d x)}{b d}-\frac{a^4 (e+f x)^3 \tanh (c+d x)}{b^3 \left (a^2+b^2\right ) d}+\frac{\left (6 a^4 f\right ) \int \frac{e^{2 (c+d x)} (e+f x)^2}{1+e^{2 (c+d x)}} \, dx}{b^3 \left (a^2+b^2\right ) d}+\frac{\left (6 a^3 f^2\right ) \int (e+f x) \text{Li}_2\left (-\frac{2 b e^{c+d x}}{2 a-2 \sqrt{a^2+b^2}}\right ) \, dx}{b \left (a^2+b^2\right )^{3/2} d^2}-\frac{\left (6 a^3 f^2\right ) \int (e+f x) \text{Li}_2\left (-\frac{2 b e^{c+d x}}{2 a+2 \sqrt{a^2+b^2}}\right ) \, dx}{b \left (a^2+b^2\right )^{3/2} d^2}-\frac{\left (6 i a^3 f^2\right ) \int (e+f x) \log \left (1-i e^{c+d x}\right ) \, dx}{b^2 \left (a^2+b^2\right ) d^2}+\frac{\left (6 i a^3 f^2\right ) \int (e+f x) \log \left (1+i e^{c+d x}\right ) \, dx}{b^2 \left (a^2+b^2\right ) d^2}+\frac{\left (3 a^2 f^3\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_2(-x)}{x} \, dx,x,e^{2 (c+d x)}\right )}{2 b^3 d^4}\\ &=\frac{a^2 (e+f x)^3}{b^3 d}-\frac{(e+f x)^3}{b d}-\frac{a^4 (e+f x)^3}{b^3 \left (a^2+b^2\right ) d}+\frac{(e+f x)^4}{4 b f}-\frac{6 a f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{b^2 d^2}+\frac{6 a^3 f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^2}-\frac{a^3 (e+f x)^3 \log \left (1+\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d}+\frac{a^3 (e+f x)^3 \log \left (1+\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d}-\frac{3 a^2 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b^3 d^2}+\frac{3 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b d^2}+\frac{3 a^4 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b^3 \left (a^2+b^2\right ) d^2}+\frac{6 i a f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{b^2 d^3}-\frac{6 i a^3 f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^3}-\frac{6 i a f^2 (e+f x) \text{Li}_2\left (i e^{c+d x}\right )}{b^2 d^3}+\frac{6 i a^3 f^2 (e+f x) \text{Li}_2\left (i e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^3}-\frac{3 a^3 f (e+f x)^2 \text{Li}_2\left (-\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^2}+\frac{3 a^3 f (e+f x)^2 \text{Li}_2\left (-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^2}-\frac{3 a^2 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b^3 d^3}+\frac{3 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b d^3}-\frac{6 i a f^3 \text{Li}_3\left (-i e^{c+d x}\right )}{b^2 d^4}+\frac{6 i a f^3 \text{Li}_3\left (i e^{c+d x}\right )}{b^2 d^4}+\frac{6 a^3 f^2 (e+f x) \text{Li}_3\left (-\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^3}-\frac{6 a^3 f^2 (e+f x) \text{Li}_3\left (-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^3}+\frac{3 a^2 f^3 \text{Li}_3\left (-e^{2 (c+d x)}\right )}{2 b^3 d^4}-\frac{3 f^3 \text{Li}_3\left (-e^{2 (c+d x)}\right )}{2 b d^4}+\frac{a (e+f x)^3 \text{sech}(c+d x)}{b^2 d}-\frac{a^3 (e+f x)^3 \text{sech}(c+d x)}{b^2 \left (a^2+b^2\right ) d}+\frac{a^2 (e+f x)^3 \tanh (c+d x)}{b^3 d}-\frac{(e+f x)^3 \tanh (c+d x)}{b d}-\frac{a^4 (e+f x)^3 \tanh (c+d x)}{b^3 \left (a^2+b^2\right ) d}-\frac{\left (6 a^4 f^2\right ) \int (e+f x) \log \left (1+e^{2 (c+d x)}\right ) \, dx}{b^3 \left (a^2+b^2\right ) d^2}-\frac{\left (6 a^3 f^3\right ) \int \text{Li}_3\left (-\frac{2 b e^{c+d x}}{2 a-2 \sqrt{a^2+b^2}}\right ) \, dx}{b \left (a^2+b^2\right )^{3/2} d^3}+\frac{\left (6 a^3 f^3\right ) \int \text{Li}_3\left (-\frac{2 b e^{c+d x}}{2 a+2 \sqrt{a^2+b^2}}\right ) \, dx}{b \left (a^2+b^2\right )^{3/2} d^3}+\frac{\left (6 i a^3 f^3\right ) \int \text{Li}_2\left (-i e^{c+d x}\right ) \, dx}{b^2 \left (a^2+b^2\right ) d^3}-\frac{\left (6 i a^3 f^3\right ) \int \text{Li}_2\left (i e^{c+d x}\right ) \, dx}{b^2 \left (a^2+b^2\right ) d^3}\\ &=\frac{a^2 (e+f x)^3}{b^3 d}-\frac{(e+f x)^3}{b d}-\frac{a^4 (e+f x)^3}{b^3 \left (a^2+b^2\right ) d}+\frac{(e+f x)^4}{4 b f}-\frac{6 a f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{b^2 d^2}+\frac{6 a^3 f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^2}-\frac{a^3 (e+f x)^3 \log \left (1+\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d}+\frac{a^3 (e+f x)^3 \log \left (1+\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d}-\frac{3 a^2 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b^3 d^2}+\frac{3 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b d^2}+\frac{3 a^4 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b^3 \left (a^2+b^2\right ) d^2}+\frac{6 i a f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{b^2 d^3}-\frac{6 i a^3 f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^3}-\frac{6 i a f^2 (e+f x) \text{Li}_2\left (i e^{c+d x}\right )}{b^2 d^3}+\frac{6 i a^3 f^2 (e+f x) \text{Li}_2\left (i e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^3}-\frac{3 a^3 f (e+f x)^2 \text{Li}_2\left (-\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^2}+\frac{3 a^3 f (e+f x)^2 \text{Li}_2\left (-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^2}-\frac{3 a^2 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b^3 d^3}+\frac{3 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b d^3}+\frac{3 a^4 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b^3 \left (a^2+b^2\right ) d^3}-\frac{6 i a f^3 \text{Li}_3\left (-i e^{c+d x}\right )}{b^2 d^4}+\frac{6 i a f^3 \text{Li}_3\left (i e^{c+d x}\right )}{b^2 d^4}+\frac{6 a^3 f^2 (e+f x) \text{Li}_3\left (-\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^3}-\frac{6 a^3 f^2 (e+f x) \text{Li}_3\left (-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^3}+\frac{3 a^2 f^3 \text{Li}_3\left (-e^{2 (c+d x)}\right )}{2 b^3 d^4}-\frac{3 f^3 \text{Li}_3\left (-e^{2 (c+d x)}\right )}{2 b d^4}+\frac{a (e+f x)^3 \text{sech}(c+d x)}{b^2 d}-\frac{a^3 (e+f x)^3 \text{sech}(c+d x)}{b^2 \left (a^2+b^2\right ) d}+\frac{a^2 (e+f x)^3 \tanh (c+d x)}{b^3 d}-\frac{(e+f x)^3 \tanh (c+d x)}{b d}-\frac{a^4 (e+f x)^3 \tanh (c+d x)}{b^3 \left (a^2+b^2\right ) d}-\frac{\left (6 a^3 f^3\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_3\left (\frac{b x}{-a+\sqrt{a^2+b^2}}\right )}{x} \, dx,x,e^{c+d x}\right )}{b \left (a^2+b^2\right )^{3/2} d^4}+\frac{\left (6 a^3 f^3\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_3\left (-\frac{b x}{a+\sqrt{a^2+b^2}}\right )}{x} \, dx,x,e^{c+d x}\right )}{b \left (a^2+b^2\right )^{3/2} d^4}+\frac{\left (6 i a^3 f^3\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_2(-i x)}{x} \, dx,x,e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^4}-\frac{\left (6 i a^3 f^3\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_2(i x)}{x} \, dx,x,e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^4}-\frac{\left (3 a^4 f^3\right ) \int \text{Li}_2\left (-e^{2 (c+d x)}\right ) \, dx}{b^3 \left (a^2+b^2\right ) d^3}\\ &=\frac{a^2 (e+f x)^3}{b^3 d}-\frac{(e+f x)^3}{b d}-\frac{a^4 (e+f x)^3}{b^3 \left (a^2+b^2\right ) d}+\frac{(e+f x)^4}{4 b f}-\frac{6 a f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{b^2 d^2}+\frac{6 a^3 f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^2}-\frac{a^3 (e+f x)^3 \log \left (1+\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d}+\frac{a^3 (e+f x)^3 \log \left (1+\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d}-\frac{3 a^2 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b^3 d^2}+\frac{3 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b d^2}+\frac{3 a^4 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b^3 \left (a^2+b^2\right ) d^2}+\frac{6 i a f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{b^2 d^3}-\frac{6 i a^3 f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^3}-\frac{6 i a f^2 (e+f x) \text{Li}_2\left (i e^{c+d x}\right )}{b^2 d^3}+\frac{6 i a^3 f^2 (e+f x) \text{Li}_2\left (i e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^3}-\frac{3 a^3 f (e+f x)^2 \text{Li}_2\left (-\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^2}+\frac{3 a^3 f (e+f x)^2 \text{Li}_2\left (-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^2}-\frac{3 a^2 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b^3 d^3}+\frac{3 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b d^3}+\frac{3 a^4 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b^3 \left (a^2+b^2\right ) d^3}-\frac{6 i a f^3 \text{Li}_3\left (-i e^{c+d x}\right )}{b^2 d^4}+\frac{6 i a^3 f^3 \text{Li}_3\left (-i e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^4}+\frac{6 i a f^3 \text{Li}_3\left (i e^{c+d x}\right )}{b^2 d^4}-\frac{6 i a^3 f^3 \text{Li}_3\left (i e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^4}+\frac{6 a^3 f^2 (e+f x) \text{Li}_3\left (-\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^3}-\frac{6 a^3 f^2 (e+f x) \text{Li}_3\left (-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^3}+\frac{3 a^2 f^3 \text{Li}_3\left (-e^{2 (c+d x)}\right )}{2 b^3 d^4}-\frac{3 f^3 \text{Li}_3\left (-e^{2 (c+d x)}\right )}{2 b d^4}-\frac{6 a^3 f^3 \text{Li}_4\left (-\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^4}+\frac{6 a^3 f^3 \text{Li}_4\left (-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^4}+\frac{a (e+f x)^3 \text{sech}(c+d x)}{b^2 d}-\frac{a^3 (e+f x)^3 \text{sech}(c+d x)}{b^2 \left (a^2+b^2\right ) d}+\frac{a^2 (e+f x)^3 \tanh (c+d x)}{b^3 d}-\frac{(e+f x)^3 \tanh (c+d x)}{b d}-\frac{a^4 (e+f x)^3 \tanh (c+d x)}{b^3 \left (a^2+b^2\right ) d}-\frac{\left (3 a^4 f^3\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_2(-x)}{x} \, dx,x,e^{2 (c+d x)}\right )}{2 b^3 \left (a^2+b^2\right ) d^4}\\ &=\frac{a^2 (e+f x)^3}{b^3 d}-\frac{(e+f x)^3}{b d}-\frac{a^4 (e+f x)^3}{b^3 \left (a^2+b^2\right ) d}+\frac{(e+f x)^4}{4 b f}-\frac{6 a f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{b^2 d^2}+\frac{6 a^3 f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^2}-\frac{a^3 (e+f x)^3 \log \left (1+\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d}+\frac{a^3 (e+f x)^3 \log \left (1+\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d}-\frac{3 a^2 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b^3 d^2}+\frac{3 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b d^2}+\frac{3 a^4 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{b^3 \left (a^2+b^2\right ) d^2}+\frac{6 i a f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{b^2 d^3}-\frac{6 i a^3 f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^3}-\frac{6 i a f^2 (e+f x) \text{Li}_2\left (i e^{c+d x}\right )}{b^2 d^3}+\frac{6 i a^3 f^2 (e+f x) \text{Li}_2\left (i e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^3}-\frac{3 a^3 f (e+f x)^2 \text{Li}_2\left (-\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^2}+\frac{3 a^3 f (e+f x)^2 \text{Li}_2\left (-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^2}-\frac{3 a^2 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b^3 d^3}+\frac{3 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b d^3}+\frac{3 a^4 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{b^3 \left (a^2+b^2\right ) d^3}-\frac{6 i a f^3 \text{Li}_3\left (-i e^{c+d x}\right )}{b^2 d^4}+\frac{6 i a^3 f^3 \text{Li}_3\left (-i e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^4}+\frac{6 i a f^3 \text{Li}_3\left (i e^{c+d x}\right )}{b^2 d^4}-\frac{6 i a^3 f^3 \text{Li}_3\left (i e^{c+d x}\right )}{b^2 \left (a^2+b^2\right ) d^4}+\frac{6 a^3 f^2 (e+f x) \text{Li}_3\left (-\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^3}-\frac{6 a^3 f^2 (e+f x) \text{Li}_3\left (-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^3}+\frac{3 a^2 f^3 \text{Li}_3\left (-e^{2 (c+d x)}\right )}{2 b^3 d^4}-\frac{3 f^3 \text{Li}_3\left (-e^{2 (c+d x)}\right )}{2 b d^4}-\frac{3 a^4 f^3 \text{Li}_3\left (-e^{2 (c+d x)}\right )}{2 b^3 \left (a^2+b^2\right ) d^4}-\frac{6 a^3 f^3 \text{Li}_4\left (-\frac{b e^{c+d x}}{a-\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^4}+\frac{6 a^3 f^3 \text{Li}_4\left (-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )}{b \left (a^2+b^2\right )^{3/2} d^4}+\frac{a (e+f x)^3 \text{sech}(c+d x)}{b^2 d}-\frac{a^3 (e+f x)^3 \text{sech}(c+d x)}{b^2 \left (a^2+b^2\right ) d}+\frac{a^2 (e+f x)^3 \tanh (c+d x)}{b^3 d}-\frac{(e+f x)^3 \tanh (c+d x)}{b d}-\frac{a^4 (e+f x)^3 \tanh (c+d x)}{b^3 \left (a^2+b^2\right ) d}\\ \end{align*}
Mathematica [A] time = 13.0382, size = 1111, normalized size = 0.86 \[ \frac{\left (2 e^3 \tanh ^{-1}\left (\frac{a+b e^{c+d x}}{\sqrt{a^2+b^2}}\right ) d^3-f^3 x^3 \log \left (\frac{e^{c+d x} b}{a-\sqrt{a^2+b^2}}+1\right ) d^3-3 e f^2 x^2 \log \left (\frac{e^{c+d x} b}{a-\sqrt{a^2+b^2}}+1\right ) d^3-3 e^2 f x \log \left (\frac{e^{c+d x} b}{a-\sqrt{a^2+b^2}}+1\right ) d^3+f^3 x^3 \log \left (\frac{e^{c+d x} b}{a+\sqrt{a^2+b^2}}+1\right ) d^3+3 e f^2 x^2 \log \left (\frac{e^{c+d x} b}{a+\sqrt{a^2+b^2}}+1\right ) d^3+3 e^2 f x \log \left (\frac{e^{c+d x} b}{a+\sqrt{a^2+b^2}}+1\right ) d^3-3 f (e+f x)^2 \text{PolyLog}\left (2,\frac{b e^{c+d x}}{\sqrt{a^2+b^2}-a}\right ) d^2+3 f (e+f x)^2 \text{PolyLog}\left (2,-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right ) d^2+6 e f^2 \text{PolyLog}\left (3,\frac{b e^{c+d x}}{\sqrt{a^2+b^2}-a}\right ) d+6 f^3 x \text{PolyLog}\left (3,\frac{b e^{c+d x}}{\sqrt{a^2+b^2}-a}\right ) d-6 e f^2 \text{PolyLog}\left (3,-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right ) d-6 f^3 x \text{PolyLog}\left (3,-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right ) d-6 f^3 \text{PolyLog}\left (4,\frac{b e^{c+d x}}{\sqrt{a^2+b^2}-a}\right )+6 f^3 \text{PolyLog}\left (4,-\frac{b e^{c+d x}}{a+\sqrt{a^2+b^2}}\right )\right ) a^3}{b \left (a^2+b^2\right )^{3/2} d^4}+\frac{x \left (4 e^3+6 f x e^2+4 f^2 x^2 e+f^3 x^3\right )}{4 b}-\frac{f \left (-4 b f^2 x^3 d^3-12 b e f x^2 d^3+12 b e^2 e^{2 c} x d^3-12 b e^2 \left (1+e^{2 c}\right ) x d^3+12 a e^2 \left (1+e^{2 c}\right ) \tan ^{-1}\left (e^{c+d x}\right ) d^2+6 b e^2 \left (1+e^{2 c}\right ) \left (2 d x-\log \left (1+e^{2 (c+d x)}\right )\right ) d^2+12 i a e \left (1+e^{2 c}\right ) f \left (d x \left (\log \left (1-i e^{c+d x}\right )-\log \left (1+i e^{c+d x}\right )\right )-\text{PolyLog}\left (2,-i e^{c+d x}\right )+\text{PolyLog}\left (2,i e^{c+d x}\right )\right ) d+6 b e \left (1+e^{2 c}\right ) f \left (2 d x \left (d x-\log \left (1+e^{2 (c+d x)}\right )\right )-\text{PolyLog}\left (2,-e^{2 (c+d x)}\right )\right ) d+6 i a \left (1+e^{2 c}\right ) f^2 \left (d^2 \log \left (1-i e^{c+d x}\right ) x^2-d^2 \log \left (1+i e^{c+d x}\right ) x^2-2 d \text{PolyLog}\left (2,-i e^{c+d x}\right ) x+2 d \text{PolyLog}\left (2,i e^{c+d x}\right ) x+2 \text{PolyLog}\left (3,-i e^{c+d x}\right )-2 \text{PolyLog}\left (3,i e^{c+d x}\right )\right )+b \left (1+e^{2 c}\right ) f^2 \left (2 d^2 \left (2 d x-3 \log \left (1+e^{2 (c+d x)}\right )\right ) x^2-6 d \text{PolyLog}\left (2,-e^{2 (c+d x)}\right ) x+3 \text{PolyLog}\left (3,-e^{2 (c+d x)}\right )\right )\right )}{2 \left (a^2+b^2\right ) d^4 \left (1+e^{2 c}\right )}+\frac{(e+f x)^3 \text{sech}(c+d x) (a-b \text{sech}(c) \sinh (d x))}{\left (a^2+b^2\right ) d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.785, size = 0, normalized size = 0. \begin{align*} \int{\frac{ \left ( fx+e \right ) ^{3}\sinh \left ( dx+c \right ) \left ( \tanh \left ( dx+c \right ) \right ) ^{2}}{a+b\sinh \left ( dx+c \right ) }}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] time = 5.39078, size = 16386, normalized size = 12.66 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\left (e + f x\right )^{3} \sinh{\left (c + d x \right )} \tanh ^{2}{\left (c + d x \right )}}{a + b \sinh{\left (c + d x \right )}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]